<?php
/**
 * Description of 
 *
 * @author Marco Mounzer
 * @email m.mounzer@gmail.com
 * @copyright 2013
 */
?>
<div id="menu">
    <a href="/" class="primo">Home</a>
    <?php
    if (isset($_SESSION['user']) && get_class($_SESSION['user']) == 'WebUser') {
        ?>
        <a href="/admin/user.php">User</a>
        <a href="/admin/alimentaziones.php">Alimentazione</a>
        <a href="/admin/marcas.php">Marca</a>
        <a href="/admin/tipologias.php">Tipologia</a>
        <a href="/admin/cars.php">Veicoli</a>
        <a href="/admin/logout.php">Logout</a>
        <?php
    } else
        echo '&nbsp;';
    ?>
</div>